order logic meaning in Chinese
阶逻辑
Examples
- An algebraic proof of completeness theorem of first - order logic
一阶逻辑完备性定理的代数证明 - The two - value weak model for first order logic with generalized quantifier
摘要：将带广义量词 - An axiomatics for first - order logic
经典一阶逻辑的希尔伯特型系统 - Proving several theorems in first order logic based on back - and - forth method
向前向后法证明一阶逻辑的几个定理 - Higher - order logic
非古典逻辑